1

Management of Situated E-Learning in Organizations

Year:
2008
Language:
english
File:
PDF, 46 KB
english, 2008
18

Decidability of model checking with the temporal logic EF

Year:
2001
Language:
english
File:
PDF, 249 KB
english, 2001
19

Preface: Volume 50, Issue 4

Year:
2001
Language:
english
File:
PDF, 39 KB
english, 2001
24

Deciding bisimulation-like equivalences with finite-state processes

Year:
2001
Language:
english
File:
PDF, 205 KB
english, 2001
27

On the role of verbalization during task set selection: Switching or serial order control?

Year:
2005
Language:
english
File:
PDF, 256 KB
english, 2005
30

Undecidable problems in unreliable computations

Year:
2003
Language:
english
File:
PDF, 185 KB
english, 2003
31

Parallel approximation algorithms for bin packing

Year:
1989
Language:
english
File:
PDF, 1019 KB
english, 1989
33

Parallelism and the maximal path problem

Year:
1987
Language:
english
File:
PDF, 438 KB
english, 1987
42

Higher-order rewrite systems and their confluence

Year:
1998
Language:
english
File:
PDF, 1.94 MB
english, 1998
48

Task selection cost asymmetry without task switching

Year:
2008
Language:
english
File:
PDF, 388 KB
english, 2008
49

Common Intervals of Multiple Permutations

Year:
2011
Language:
english
File:
PDF, 1.09 MB
english, 2011